61. Infinity and the mind : the science and philosophy of the infinite
Author: Rucker, Rudy v. B.)Rudy von Bitter(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Infinite
Classification :
QA
9
.
R79
1982b
62. Introduction aux mathematiques de l,analyse economique
Author: / Rene Passet
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Set theory,Logic, Symbolic and mathematical,Abelian groups
Classification :
QA248
.
M513
1971
63. Islic logic conferene
Author: / edited by G. H. Muller, A. Oberschelp and K. Potthoff
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, Symbolic and mathematical - Congresses,Set theory - Congresses
Classification :
510
.
8
L471
No
.
499
64. Langages, ensembles, theories axiomatiques
Author: / (par) Maurice Hervieux (et) Gilbert Paquette, Ill. et couverture (par) Roy Tetrault Inc.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Axiomatic set theory,Logic, Symbolic and mathematical
Classification :
QA
248
.
H44
65. Learning to reason: an introduction to logic, sets and relations
Author: Rodgers, Nancy
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
Classification :
QA
9
.
R7264
2000
66. Learning to reason: an introduction to logic, sets, and relations
Author: Rodgers, Nancy
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
Classification :
QA
9
.
R7264
2000
67. Lectures in logic and set theory
Author: Tourlakis, George J.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Set theory
Classification :
QA
9
.
2
.
T68
2003
68. Lectures in logic and set theory
Author: George Tourlakis
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory
Classification :
QA
9
.
2
.
T68L42
69. Lectures in logic and set theory
Author: / George Tourlakis
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Logic, Symbolic and mathematical,Set theory
Classification :
QA9
.
2
.
T68
2003
70. Lectures in logic and set theory
Author: / George Tourlakis
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Logic, Symbolic and mathematical,Set theory
Classification :
QA9
.
2
.
T68
2003
71. Les systemes axiomatiques de la theorie des ensembles
Author: Par Hao Wang et Naughton Robert
Library: Library of Faculty Literature of University of Tehran (Tehran)
Subject: Set theory,Logic, Symbolic and mathematical
72. Les systemes axiomatiques de la theorie des ensembles
Author: / par Hao Wang et Mcnaughton Robert
Library: Library of College of Science University of Tehran (Tehran)
Subject: Set theory,Logic, Symbolic and mathematical
Classification :
QA
248
.
W3
73. Logic Colloquium '87: proceedings of the colloquium held in Granada, Spain, July 20-25, 1987
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory
Classification :
QA
9
.
A1
.
L63
1987
74. Logic, Proof, and sets
Author: Bittinger, Marvin L.
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Logic, symbolic and mathematical,، Proof theory,، Set theory
Classification :
QA
9
.
B614
1982
75. Logic, proof, and sets
Author: Bittinger, Marvin L.
Library: Central library and information center (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
Classification :
QA
9
.
B614
1982
76. Logic, proof, and sets
Author: Bittinger, Marvin L.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
Classification :
QA
9
.
B614
1982
77. Mathematical foundations of information sciences
Author: Esfandiar Haghverdi, Liugen Zhu.,Haghverdi, Esfandiar,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical,Set theory,Textbooks.,Textbooks.
78. Mathematical logic and foundations of set theory. Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968
Author: Ed. by Yehoshua Bar-Hillel
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
Classification :
QA
9
.
I56
1968
79. Mathematical logic, the theory of algorithms, and the theory of sets
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Algorithms,، Set theory
Classification :
QA
1
.
A413
no
.
133
80. Modelle der Mengenlehre
Author: Jensen, Ronald Bjour
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Set theory,، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
37
